Partial Reachability Graph Analysis of Petri Nets for Flexible Manufacturing Systems
نویسندگان
چکیده
منابع مشابه
Hierarchical Reachability Graph Generation for Petri Nets
Reachability analysis is the most general approach to the analysis of Petri nets. Due to the wellknown problem of state-space explosion, generation of the reachability set and reachability graph with the known approaches often becomes intractable even for moderately sized nets. This paper presents a new method to generate and represent the reachability set and reachability graph of large Petri ...
متن کاملPetri nets and flexible manufacturing
The aim of this survey is to introduce Computer science/Petri nets specialists to the basic system level issues brought up by the development of Flexible Manufacturing and how Petri nets are used to aid the production engineers in their work. After some terminology concerning production engineering, the hierarchical decision and control level is briefly reviewed. Finally, the role and the prese...
متن کاملPetri Nets and Matrix Graph Grammars: Reachability
This paper contributes in two directions. First, several concepts of our matrix approach to graph transformation [1,2] such as coherence and minimal initial digraph are applied to Petri nets, especially to reachability criteria. Second, the state equation and related algebraic Petri net techniques for reachability are generalized using tensor algebra to cover a wider class of rewriting systems....
متن کاملModelling Flexible Manufacturing Systems: A Petri Nets Modular Approach
This paper investigates the use of a graphic notation and a Petri Net (PN) modular approach for the modelling of Flexible Manufacturing Systems (FMSs). The development and the analysis of complex FMS models can greatly beneet from the automatic synthesis of the complete models and the availability of a graphic tool to describe them in a concise way. The automatic synthesis helps the designer to...
متن کاملFuzzy Coloured Petri Nets in Modelling Flexible Manufacturing Systems
Recently, Coloured Petri Nets (CPNs) have been widely used for modelling asynchronous discrete events exhibited in dynamic systems, while Fuzzy Petri Nets (FPNs) used for systems that involve approximate reasoning and uncertainty knowledge inference. In this paper, we propose a net-based structure, the so-called Fuzzy Coloured Petri Nets (FCPNs) to model both the dynamic behaviour and inexact p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2020
ISSN: 2169-3536
DOI: 10.1109/access.2020.3045980